We show that the e-degree 0'e and the map u ↦ u' are definable in the upper semilattice of all e-degrees. The class of total e-degrees ≥0'e is also definable.

It is proved that the (2p)-c. e. e-degrees are not elementarily equivalent to the (2p + 1)-c. e. e-degrees for each nonzero p ∈ ω. It follows that m-c. e. e-degrees are not elementarily equivalent to the n-c. e. e-degrees if 1 < m < n.

kn. 1. Chislo i forma v zhivoĭ prirode -- kn. 2. Iskusstvo arkhitektury.

Ghazzālī; 1058-1111; Ibn Taymīyah, Aḥmad ibn ʻAbd al-Ḥalīm, 1263-1328; criticism and interpretation; Islam; doctrines.

صدر عن المركز العربي للأبحاث ودراسة السياسات كتاب المنطق الإسلامي: حضور المنطق الأرسطي لدى مفكري المشرق الإسلامي، وهو من تأليف محمد بن يعيش. يقع الكتاب في 272 صفحة، شاملةً ببليوغرافيا وفهرسًا عامًّا. أمام ما يعرِّفه مؤلفُ الكتاب بـ "حقيقتين تاريخيتين"؛ هما أوّلًا: كثرة من اشتغلوا بعلم المنطق في الحضارة العربية الإسلامية من أفذاذ العلماء، وانتشارهم في أصقاع البلاد الإسلامية، وتنوّع أديانهم، وأصناف تخصصاتهم العلمية ونتاجاتهم، تأليفًا وحواشيَ مسهبةً وترجماتٍ ومختصراتٍ وشروحًا وأرجوزات، وثانيًا: إقراره بما لقيه هؤلاء العلماء من مضايقات وتجريح (...) واتهامات وملاحقات. يطرح الكتاب إشكاليةَ البحث، المتمثلةَ بالحيثيات التي رافقت استقبال المسلمين علمًا دخيلًا على العلوم الإسلامية كالمنطق وتعاملهم معه، ومراحل تردده بين الرفض والقبول في البيئة الجديدة، وأوجه الجِدّة لدى العلماء الذي ساهموا في تكريسه لغويًّا (الفارابي وابن سينا) ودينيًّا (الغزالي). وقد دفع "الحضور" الأرسطي لدى مناطقة الشرق الإسلامي الكاتبَ إلى تبيان مساهمة أرسطو - ضمن عناصرَ مساهِمة كثيرة - في تكريس خطاب إسلامي عقلاني جديد، وتشكيل المعالم الكبرى والجزئية لفلسفة هؤلاء المناطقة، التي تعبّر برأيه عن "تواصل" بين الفكرين اليوناني والإسلامي بدلًا مما يُحكى عن الانفصال والقطيعة والطلاق البائن، متجنِّبًا الانحياز إلى أحد طرفي الأزمة، المشنِّعين الذين يقذفون المنطق بشتى التهم، كإثارة الشبهات والباطل والرجم بالغيب من جهة، والقائلين بمادية فيلسوف اليونان وعقلانيته في مقابل لاعقلانية المسلمين وظلامية فكرهم، مع تشديده على تميز خطاب مفكري المشرق ضمن تاريخ الفلسفة المرافِق لهذا التواصل. وقد أتاح الجهد البحثي المبذول الانفتاحَ على أفق منطقي غير مدرسي اتبعته مجموعة من مفكري العالم الإسلامي، في محاولة لتكريس نظرة جديدة إلى التراثين اليوناني والإسلامي، متوسِّلًا لبلوغها كثرة الاستشهاد بنصوص المناطقة المشرقيين التي يُستدعى فيها أرسطو وسيلةً لإثبات حقيقة العلاقة بين الخطابين بطريقة علمية أمينة. (shrink)

Collection of works on literature theory, translated into Mongolian language.

In this paper we study structural properties of n-c. e. Q-degrees. Two theorems contain results on the distribution of incomparable Q-degrees. In another theorem we prove that every incomplete Q-degree forms a minimal pair in the c. e. degrees with a Q-degree. In a further theorem it is proved that there exists a c. e. Q-degree that is not half of a minimal pair in the c. e. Q-degrees.

We give several new characterizations of the continuous enumeration degrees. The main one proves that an enumeration degree is continuous if and only if it is not half of a nontrivial relativized $\mathcal {K}$ -pair. This leads to a structural dichotomy in the enumeration degrees.

We give several new characterizations of the continuous enumeration degrees. The main one proves that an enumeration degree is continuous if and only if it is not half a nontrivial relativized K-pair. This leads to a structural dichotomy in the enumeration degrees.

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

A law is one of the basic concepts of the dialectical materialist conception of determinism as a philosophical theory of the objective interrelationship and mutual conditioning of phenomena in the material and mental world. A law establishes a rigorously determined connection among circumstances, i.e., a totality of derivative components and conditions of their actions and results. By overlooking the existence of two different levels—the concept and the objective reality corresponding to it—some philosophers erroneously interpret Marx's theses concerning the approximateness of (...) the realization of the laws of society. Let us take, for example, Marx's thesis that "In general, in capitalist production general laws are realized in a very confused and approximate way, merely as a prevailing tendency, as a kind of average among constant fluctuations that is never solidly established."1 Some investigators see this as an objectively existing social law in itself, attributing to it an "inexactitude" of operation, variation, and approximation, instead of seeing it as a specific application of a particular law. They thus forget that Marx said, in the Foreword to the very first volume of Capital: "The question does not specifically have to do with a greater or lesser degree of development of the social antagonisms that derive from the natural laws of capitalist production, but rather lies in these laws themselves, these trends, which operate and are realized with iron necessity.". (shrink)

Study and teaching of Islam with refererence to Qurʼan and Hadith.

v. 1. Edinyĭ i︠a︡zyk chelovechestva. --.

Для специалистов, интересующихся проблемами этики.

Islamic philosophy - Congresses ; Sufism - Congresses.

Let A be an infinite Δ₂⁰ set and let K be creative: we show that K≤Q A if and only if K≤Q₁ A. (Here ≤Q denotes Q-reducibility, and ≤Q₁ is the subreducibility of ≤Q obtained by requesting that Q-reducibility be provided by a computable function f such that Wf(x)∩ Wf(y)=∅, if x \not= y.) Using this result we prove that A is hyperhyperimmune if and only if no Δ⁰₂ subset B of A is s-complete, i.e., there is no Δ⁰₂ subset (...) B of A such that \overline{K}≤s B, where ≤s denotes s-reducibility, and \overline{K} denotes the complement of K. (shrink)